• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: A simple train stopping application
【2h】

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: A simple train stopping application

机译：连续/离散建模界面上的连续KaOs，asm和正式控制系统设计：简单的列车停止应用

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially designed in the continuous domain and subsequently discretized, can be captured within a formal development process compatible with standard model based refinement methodologies. Starting with a formalized requirements analysis using KAOS, an abstract model of the continuous system is created in the ASM formalism. This requires extensions of the KAOS and ASM formalisms, capable of dealing with quantities evolving continuously over real time, which are developed. After considering how the continuous system, described as a continuous control system in the state space framework, can be discretized, a discrete control system is created in the state space framework. This is re-expressed in the ASM formalism. The rigorous results on the relationship between continuous and discrete control system models that are needed to establish provable properties of the discretization, then become the ingredients of a retrenchment between continuous and discrete ASM models, and are thus fully integrated into the formal development. The discrete ASM model can then be further refined towards implementation. © 2012 British Computer Society.
机译：一个非常简单的火车停靠模型被用作研究如何在最初的连续领域中设计并随后离散化的控制系统开发在与基于标准模型的改进方法兼容的正式开发过程中被捕获的工具。从使用KAOS进行形式化需求分析开始，在ASM形式主义中创建了连续系统的抽象模型。这就需要扩展KAOS和ASM形式主义，使其能够处理随着时间而不断发展的数量。在考虑了如何离散化在状态空间框架中被描述为连续控制系统的连续系统之后，在状态空间框架中创建了离散控制系统。这在ASM形式主义中得到了重新表达。建立离散化的可证明性质所需要的关于连续和离散控制系统模型之间关系的严格结果，然后成为连续和离散ASM模型之间缩减的要素，因此已完全集成到正式开发中。离散ASM模型然后可以进一步细化为实现。 ©2012英国计算机协会。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号